package annotations.test;

public class Sample2 {
	@ExceptionTest(ArithmeticException.class)
	public static void m1() {	// Test should pass
		int i = 0;
		i = i / i;
	}
	
	@ExceptionTest(ArithmeticException.class)
	public static void m2() {	// Should fail (wrong exception)
		int[] a = new int[0];
		int i = a[1];
	}
	
	@ExceptionTest(ArithmeticException.class)
	public static void m3() { }	// should fail (no exception)
		
}
